Formal specification - PDFSEARCH.IO - Document Search Engine

Formal specification
Results: 233

#	Item
81	Microsoft Word - Devt11.doc Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2006-03-21 09:28:28 Cybernetics Software requirements Systems engineering Water transport infrastructure Mining equipment Sluice Gate Domain-specific language Formal specification Software development Technology Science
82	Frama-C Training Session Tips and Tricks in Software Verification Virgile Prevosto CEA List October 22nd , 2010 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:57 Formal specification Frama-C Software verification Specification Evaluation Technology ANSI/ISO C Specification Language Formal methods Software Technical communication
83	Application of a Formal Specification Language in the Development of the “Mobile FeliCa” IC Chip Firmware for Embedding in Mobile Phone Yasumasa.Nakatsugawa Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-04 08:53:57 Specification language Functional specification Formal language Mathematics Applied mathematics Vienna Development Method Software development FeliCa
84	Microsoft Word - Haifa06Jackson.doc Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2007-01-17 17:02:54 Applied mathematics Software testing Requirement Elevator Formal specification Correctness Computer programming Mathematical optimization Mathematics Software development Software requirements Theoretical computer science
85	Chapter for Lipari Software Engineering Seminar Book; sent to Egon BoergerTHE NAME AND NATURE OF SOFTWARE ENGINEERING DRAFT OF 29 JUNE 2008 Michael Jackson The Open University Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2008-06-29 12:37:00 Formal methods Formal sciences Abstraction Software requirements Systems engineering Formal specification Reason System Engineering Science Knowledge Ethology
86	An Analyzer for Pascal W. M. Waite August 27, 2008 This document describes an analyzer for Pascal (ANSI/IEEE 770X3It was generated from an Eli1 specification of that analyzer. An abstract syntax tree structure Add to Reading List Source URL: eli-project.sourceforge.net Language: English - Date: 2008-08-29 15:29:08 Compiler construction Type theory Formal languages Procedural programming languages Cross-platform software Extended Backus–Naur Form Pascal Hindley–Milner C Software engineering Programming language theory Computing
87	Axiomatic Language Walter W. Wilson Axiomatic language is proposed as a tool for greater programmer productivity and software reliability. Goals – Axiomatic language has the following goals: (1) pure specification – Add to Reading List Source URL: www.axiomaticlanguage.org Language: English - Date: 2015-04-04 17:54:15 Formal systems Metalogic Formal methods Function Axiom Lisp Mathematical proof Axiomatic system Mathematics Logic Mathematical logic
88	IPTC Mirror No 141 August/September 2007 Initial Approval Following formal approval of the News Architecture structure specification attention is now Add to Reading List Source URL: iptc.cms.apa.at Language: English - Date: 2008-03-05 15:57:41 Computing NewsML-G2 International Press Telecommunications Council NewsML 1 IPTC Information Interchange Model SportsML-G2 EventsML-G2 NewsML SportsML Data Information Metadata
89	POWER AND LIMITATIONS OF FORMAL METHODS FOR SOFTWARE FABRICATION Michael Jackson AIT Conference 11th FebruaryINTRODUCTION Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2002-11-07 13:28:30 Computing Data Communications protocol Formal specification Logic Actor model Software security assurance Formal sciences Formal methods Science
90	PDF Document Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-04 08:54:43 Science Technology Rational Tau Telelogic Nokia Software development process Communications protocol Formal specification Model-based testing Formal methods Software development Unified Modeling Language

UPDATE